Experiments in Rapid Prototyping of Reactive Systems with POLIS

ثبت نشده
چکیده

This paper presents the experiments designed in order to validate our previously proposed methodology that uses POLIS as a co-design environment for reactive systems and two prototyping boards that use two different microcontrollers as SW components. On one hand, we reviewed the manually profiled SW cost parameters by using test tools. On the other hand, we have tried several applications on the two different platforms, focusing on different optimizing goals. By doing this, we have checked the suitability of the platforms and its range of application. Several weaknesses of POLIS are identified related to the adaptation to the characteristics of each microcontroller.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Prototype-Based Tests for Hybrid Reactive Systems

Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end of both validating the model and also verifying an actual system. In the automotive domain many systems are reactive and exhibit continuous as well as discrete dynamics. This leads to an explosion of the model state spa...

متن کامل

An Integrated Hardware-Software Cosimulation Environment with Automated Interface Generation - Rapid System Prototyping, 1996. Proceedings., Seventh IEEE International Workshop on

We present a hardware-software cosimulation environment f o r heterogeneous systems. To be an eficient system veriJication environment for the rapid prototyping of heterogeneous systems, the environment provides following features: interface transparency, smooth transition to cosynthesis, simulation acceleration, and integrated user interface and internal representation. Among them, thejrst two...

متن کامل

A Formal Approach to Reactive System Design: Unmanned Aerial Vehicle Flight Management System Design Example

This paper presents a formal methodology for the design, implementation and validation of reactive systems. The methodology has been applied to the design of a Flight Management Systems (FMS) for a model helicopter in the BEAR project[9]. POLIS[2], a design tool developed at the University of California at Berkeley, is extensively used. The automation of the design problem and the validation te...

متن کامل

Application of the Extreme Learning Machine for Modeling the Bead Geometry in Gas Metal Arc Welding Process

Rapid prototyping (RP) methods are used for production easily and quickly of a scale model of a physical part or assembly. Gas metal arc welding (GMAW) is a widespread process used for rapid prototyping of metallic parts. In this process, in order to obtain a desired welding geometry, it is very important to predict the weld bead geometry based on the input process parameters, which are voltage...

متن کامل

An Approach to the Design of Networked Embedded Systems

The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on appl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001